Security Analysis of WAPI Authentication and Key Exchange Protocol

Protocol ∗ Liufei Wu1,2 Yuqing Zhang2 FengjiaoWang2 1Communication Engineering Institute,Xidian University,Xi’an 710071 2National Computer Network Intrusion Protection Center,GUCAS, Beijing100049 Abstract We first do an in-depth security analysis of the authenticated key exchange protocol WAI in WAPI (WALN Authentication Privacy Infrastructure), point out its flaws and improve it. Next, we give the security proof of this new protocol WAI' in CK security model, which indicates that WAI' has the corresponding security attributes in CK security model, and satisfies the requirements of WAPI.